"Gerard J. Holzmann" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

The SPIN Model Checker: Primer and Reference Manual

Gerard J. Holzmann

1.33 Mb

#2

Design And Validation Of Computer Protocols

Gerard J. Holzmann

2.07 Mb

#3

Design and Validation of Computer Protocols (Prentice Hall Software Series)

Gerard Holzmann

Категория: Компьютеры

1.25 Mb

#4

NASA Formal Methods - NFM 2011

Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi

6.81 Mb

#5

Spin Model Checker

Gerard J. Holzmann

3.91 Mb